Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
- Författare
- (Edited by Serge Gaspers, Toby Walsh.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2017 | Tyskland, Cham | XIII, 476 sidor. 68 illus. online resource. | 978-3-319-66263-3 |